$\forall$$r$:$\mathbb{Q}$. ($\neg$($r$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ (($r$ $\ast$ 1/$r$) = 1 $\in$ $\mathbb{Q}$)